fix sdf3 generation of priorities