Correcting example, fixes #2