Make the sentence introducing the 'Methodological Principles' list:

The RTSJ’s approach to ATC is based on several guiding principles, informally outlined in the following lists.

(i.e., add the word 'informally')
 

Make the last sentence of the second bullet on p. 12

The ATC-deferred sections are synchronized methods and synchronized statements.

(i.e., add the second 'synchronized')