Minor bug fix on the set_mine example.