Fix some comments; no bug. (DONTBUILD)