Small fixes for priority