prettified GPL headers