Minor style change to comments