Removes junk code introduced in r1718.
Authored by: jplang 2008-08-07
Parent: [r1718]
Child: [r1720]