Minor style changes, one related to last commit