Fix file annotation check and typo in function header