make sphinx happy