Fix inadvertent hiding of example