Some improvments in documentation