remove redefinitions test, revert env note