#8: doc typo fix