Replacing accidentally deleted example code