Doc: various small fixes