This procedure was missing

Woops!  This should have been merged with #113