Has been fixed already.