minor change in Makefile