fixed an error in an example in the documentation of simplify