Temporary workaround for #99.