More updates to the manual