minor sphinx fixes