Updated repl, fixed some tabulation