Fixed some typos in the javalite and precise rules figures.