A small change in the Makefile