Doc fix where wrong file was referenced in an example