better error messages in DefaultEngine