Cope with latest web2py