removed code left over by accident in 2c73009850d84172778b2040c14faccdea830008, refs #1139