Workaround for #2637.