Fix one more example.