Tiny fix in Makefile