fix a segfault