Remove four now-pointless comment lines.