Minor change to the Makefile