minor (cosmetic) change to Makefile