fixing section title typo

typo (fixing anchor as well). is this file generated? it looks like it, so this should be fixed in the source as well.