Fix small error in code example