Fix forgotten old comment style