Hopefully fix again comments. Reported by Alain. fixes #55