docs, formatting, result tweaks