Fix ART verification errors in NREPL