* Makefile.in: Fix bug I introduced in merging Rich's change.