This bug has been fixed.