docs, minor adjustments