minor syntax error in user manual example