Minor style fix for comments