Simplify initial example a bit.