correct check-below checking on :monitor-{enter,exit}