Fix coding magic comment style