Minor changes in Makefile