More updates of the manual