Various tweaks and documentation improvements

Discovered these while installing latest JANUS from scratch.