Update doc: Fix identation (again!)