A small Makefile fix