Minor fix to better usage with web2py