Unneeded change to file's whitespace (all the added newlines, not just this one).

this is a minor concern and can be ignored.