fix filename inconsistency in header documentation