The user manual is updated to work correctly.