many small changes mostly in Scribble files