Edit: It looks like this is already fixed.