typesetter early exit in flushing fix