d5444f4 Minor style update.