Fix a couple of .PHONY lines that were out of sync

in the Makefile.