docs, minor fixes