Fixed somebody's change that breaks the makefile.
Authored by: kifer 1999-05-20
Parent: [r769]
Child: [r771]
