fix a stupid segfault