Fix minor bug in a Makefile