Minor style again.