Fixing a tiny issue in the Makefile