Bug fix: Mistake in Makefile