Reformatted header.

Source format confuses the license check plugin.