another typo forgotten in 3c3c11c233436ce55d2c118c3be94ef349d9157b and 0b57c28288b1c1c868116d60af62ec895da901cc, refs #444