typo, docs touch-up