In Makefile, minor fix.