Minor style change and formatting fix