oops, forgot to add repr #9