minor fix in Makefile