Minor tweak in Makefile