Minor change for ReadTheDocs theming. #9