Minor preso tweaks.
Note on tools.analyzer.