added toString() for easier debugging