asserts & shortest path fixes.