Code cosmetics: trim Marc Stern's patch

Got the path in the correct shape