Doc: fixed a few details