(Minor style review) This shouldn't be changed.