Fix up some inconsistencies in docs