For room versions 2–10: correct a mistaken clarification to the state resolution algorithm.