fix for web2py-2.8.2