Remove now-extraneous comment