You are right.
I'm very sorry I've no time now to commit a fix, but please feel free to go ahead