Doc fix at source, not in generated file