fix visitor calls of LazyFlipper