(I suspect the segfault is due to this omission)