small corrections in documentation