Fix comments referring to obsolete symbol