Documentation; bug fixes to the --quiet option