We will check it out. For now you can try setting the error reporting to lower level. You can do this in Site > Global Configuration > Server > Server Settings > Error reporting
You are right. That one must have slipped out. It was fixed, but since it was such a minor change, we did not change the version name(version 2.5.4.1). If you download now you should get a fixed one.
