tune documentation; the finer points