Remove old, commented-out code.

Found by @davecgh.