Segmentation fault documented, still not fixed