Another very minor change to the makefile