fix a SEGFAULT