A fix in an example.