Fixed bug in user manual