More corrections to example code