version before fixing the minimality bug...