Trivial: Fixed file header documentation