Thanks for letting us know you found an error! We'll look into getting that fixed.
Oh, and the comment was double posted by accident so we'll delete the other one.