Is now reported as fixed.