Fix a bug in the Makefile.