fix wrong pretty for EAbs