Whitespace: more consistent with surroundings.
Trivial: add missing copyright line.