Correct type for file handle