You are absolutely correct,
In fact, the error was detected a few weeks ago and a fix was made available to the downloads.
Unfortunately it seems that you downloaded just before the correction. Sorry about that.
Jack Poorte, Oct 27, 2013