Minor formatting.
Took the liberty to add the GPLv3 header.