A little correction in the Makefile