fixed bug in do if_form