Revert mistaken correction