Minor tweaks: better result printing; comments