A small fix to the Makefile