fix a bad Makefile error