typo-fixes for documentation