0.11-stable: Removed a spurious duplicate line. Patch by Felix Schwarz.
Closes #8073.
Authored by: rblank 2009-02-19
Parent: [r7909]
Child: [r7911]