added toString() to ease debugging