Nomenclature chanage: "bug report" becomes "ticket"