workaround for #783