Fix an error example

See history