minor correction to makefile