If it happens again, would love a bug report for this too. The logs should tell us why the error happened.