↑ laatst bekende datum van dit adres BS Leiden Akte Jaar 1865 Nummer 157 http://leiden.digitalestamboom.nl/(lvtrjgmow0apeq45psp11v45)/detailx.aspx?p=120017&ID=10966&book=H&role=G&page=. "De gracht werd in 1886 gedempt. Stellingkorenmolen De Oranjeboom werd in 1904 gesloopt." uit: Dick Edward Herman de Boer, Hutspot, Haring en Wittebrood – Tien eeuwen Leiden, Leienaars en hun straatleven afl. 9 blz. 212 (alwaar ook een foto), De Kler/Waanders 1981/1982, ISBN 90 6630 001 9. De gedempte gracht werd omgedoopt in Korevaarstraat (naar de wethouder die opdracht had gegeven voor de demping).