Minor fix in the Makefile