Updated the user manual a little