Minor whitespace tweak while I was touching the file