fix bug in Namespace.__str__