Fix bug in the Makefile