Fixing a typo (turned out to be harmless since the default priority values are the same between the two attributes).