Add a `provide` example and fix a few minor things