small fix to code listing