fix various sphinx/doc annoyances