Remove obsolete commented out code. (Which I should have done before
previous commit.)