Small fix to the Makefile.