remove the file comment, it doesn't make sense here