Added mention of a workaround.