CeylonVisitor: fix due to #1784