Replaced running of doconce by new library call.