Simplify the example a tiny bit