pretty-mode-plus has been renamed to pretty-mode