fix combined double dot / double colon semantics