Fix to broken commit in DAETK