Fix corrupted text and example in section 7.3 of docs / source / doc / kaleidoscope