Fixed a bug that would cause a crash if the input file contained
invalid priorities.