One word change to tinysr.tex.