correct a resolution parse bug