Very minor doc fixes that are flagged in sphinx build