Hm... sounds like a small bug :)