Minor fix in makefile