check-headers.pl: add Gabriel Landini as an author
Clean up style

These changes make check-headers.pl happy.