Fix and simplify doc