Fix bug in Makefile