Bob,

that problem was discovered and fixed by me some time ago, and the fix was
included by Jason since 4.5Ai

Regards
Salvatore