(Closing since this has been fixed.)