more work on j.minuit