Made the example clearer.