- Add missing license header;
- minor cosmetic changes.