additional fix for #793