Fix handling of priority to cope with null values from Zendesk

Some tickets have an undefined priority, which was not being handled properly.