Add documentation about workaround.