Add workaround for #9.