Minor change in Makefile