Intermediate Push, Shortest Path Bug Still Exists