Is this still broken, by the way? Not related to this issue, just out of curiosity...