#853: node ordering fixed.