Small fix to Makefile