Очевидно, что баг. Если повторится - стоит обратиться в трекер.