added __str__ for easy json printing