minor change in the Makefile