Fix formatting errors. Add REPL instructions.