Fixes and clarifications in documentation