I actually had made a mistake on the map. The Rio San Michiel, a short dead end canal off the Canal Grande near Rio San Luca, should have been marked to.

I have corrected the error – not by changing the map, though 🙂