I overestimated amount of stock I needed. What can I add to it to thicken it up a bit? I have lentils and yellow split peas in cupboard. Do I put these in towards end of cooking time? Any suggestions gratefully received - thanks!