Fix inconsistency in Makefile.