Fix typo in ReadTheDocs