Trying head version of ErlyDtl