workaround for #8040