Another mismatched name. Artifact from dbgr->realgud search and replace