One of the examples was broken; this commit fixes it