Fixing example misprint.