Minor improvement to Makefile.