fixed typo and formatting in src listings