Fix ISPN repl