add a few more uses of if_ok