fix 73555344 per @vtjnash's suggestion