Small tweak in Makefile