removed code left over by accident in d72f23d9388d080b633aafb503b28c8e64497972, refs #1051