Small example code correction, fixes #424