Fix a segfault