Undo accidental change from previous commit.
Authored by: whebisch 2011-08-04
Parent: [r1133]
Child: [r1135]