Comment tweak for clarity; no bug. (DONTBUILD)