usermanual: another round of small fixes