further docs (minor)