Fixed discrepancy in the header comment between maintain- and
generate- defuns.