Fix small bug in Makefile