minor changes in make