workaround for #766