A small Makefile fix
small Makefile change