Added a toString() for slightly improved error message in one case