Minor style improvement.