This has been fixed. (This comment thread is outdated.)