fixed a buglet in the Makefile