fix badly formatted comment