forgotten in 3c3c11c233436ce55d2c118c3be94ef349d9157b, refs #444