Minor change to Makefile