Deleted priority. It isn't used anywhere.