solved a bug in ADAN criterion E