Made a change requested by neilkal to fix Makefile.