Problem with WPRichText.EditOptionsEx.wpAutoCapitalize

If I check wpAutoCapitalize, there is a problem when a new paragraph starts with a single letter word (such as "I" or "A") in that the first letter of the new word is capitalized as well.

So,
"i trust"
becomes
"I Trust"

and

"a program"
becomes
"A Program"

but
"an elephant"
becomes
"An elephant"

Has this problem now been fixed?
If so, how do I get the fixed version?