Fixed a bug with Workbenches that I introduced while re-arranging some
things.