Implemented a test for a new bug found (thanks Fredy).
Cosmetic.