Fix license headers as suggested by Vinnie