Unnamed root rule is described correctly.