Added official-looking header
Minor efficiency thing.
Corrected indentation for clarity / consistency