Docs: file.comment actually needs the leading ^