One more conversion of (def) -> (setv)... ho ho ho!

This time in the flask app!