I guess that wasn't a real bug?