more sphinx annoyances