Fix error in code listing