Add file header. In particular, MIT license.
Reformatting.