Fix some doc inconsistencies