15237: infobox priority not working