Fixed some details in documentation