Minor change in makefile