Minor corrections for docs