no more line numbers; now with 80-char windows!