fixed a bug when executing RHFenv() after RHF()