Some minor style issues have been fixed. The search now starts in the NodeState.