fixed up bug in __repr__