fix bug introduced in fcc76208