fixed the bug that monitorexit will not be lowered