workaround for #4676