Trivial cleanup of commented-out code.