Minor style change.