Bug fixing: errors in documentation