small typo into the documentation