There is actually no bug there any more.