temporary workaround for #4