Renaming the frontend representation of the tickets; as requested per #20.