Updated the user manual