is this example mistyped?