Minor tweak to makefile output