Tweaks to top paragraph; --> non-literate style (no code)