Fix serious big introduced by change in commenting style