more (minor) progress to docs