(Minor style review) These two newlines shouldn't be here.