Correct the html target in the Makefile