fix tiny docs typo

Happy new Year!