Rewrote to use z3cform instead of formlib