minor fix to support build on rtd.org