Fix to an example I accidentally changed.