sphinx: a couple of minor fixes.