Small typos and JS highlighting.