implement workaround for #7.