Workaround for #9023.