tone down. clarify that the bug has a workaround that seems to work.