halving segfault fixes