Minor update to the user manual