Slightly simplify the first example in tutorial