Was bug fixing a segmentation fault. Nothing useful in this change.