Fixed bug in handling of header annotation files.