Minor update of Latex report