[MINUIT PILE] some small changes