Fixed doctest garbled by merge.