Correct a mistake in the Makefile