Minor rephrasing of Makefile