The user manual has been updated.