Fix correct HF file.

See also #980.