Add an ugly workaround.