Minor style modification.