scribble
corrections in simple-v1.ss