minor fixes to 03-func and 04-cond