toyproblem/README minor tweak