Если это не единичный случай, тогда стоит отписать в баг-трекер.