fix a small typo in the Makefile