Another small fix to Makefile