Correct ST_ShortestPath and add a unit test