Minor change in segfault reproducing example