Bug library code not checked in

The previous examples needed this library code. Because this was already in the
local environemnt, it was not caught that this was an error. In short, two
previous merges would fail in a fresh environment (but did not fail in this dev
environment).