cosmetic improvement of Makefile