Sounds like a different bug then that we shouldn't work around here. We should fix that other bug then.