Revert line changed by accident in af252acad2ec88f5442e3f022e21231728190f80, refs #1350