Makefile: minor edit