update of web2py stuff