small fix in user manual