Minor fixes to the Makefile.