typo and format fixes for iag013