file adjusted to type cast the __toString method to a string