I don't think identifiers need to be quoted in comments, as they are not in docstrings.