small fixes on doc