[web2py] navbar missing space before bracket

[Richard]

Hello,

Would you correct this little glitch (gluon tools.py line 1101) :

Change :
bar = SPAN(prefix,self.user.first_name,' [ ', logout,
']',_class='auth_navbar')

For :
bar = SPAN(prefix,self.user.first_name,' [ ', logout,
' ]',_class='auth_navbar')

Thanks

Richard