Fix a bug in Makefile

This fixes a small bug in the Makefile. Please review.