Small nits in the Makefile