The problem's been patched.