Racket: no more re-enter notifications (issue #25)