Tickets shouldn't be based on UserString since that has lots of unwanted side-effects. Closes #11