docs typo -- fix #678