some fix in the introduction, added format to the listtings