(no bug) Fix comment in typo, and remove stale XXXdholbert comment. Comment-only, DONTBUILD