Fix for issue #726 (correct)

Something went wrong in my IDE so I had to commit it again ..
This time it's right!