Small updates without impact on the behavior of the Makefile