CODE: Minor style changes.