Yes, I think suggesting a call to `do_nothing'  in the attached case would be fine.