fixes in __toString() - double minus sign