Corrections and additions to " Metamathematical investigation of intuitionistic arithmetic and analysis" - Troelstra, Anne S. 1939-2019 (Mathematisch Instituut <Amsterdam>: Report, 1974)