Arrows example error

In the section 7.15.2. Conditional commands of the User's Guide (http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/arrow-notation.html#idp49515792) it is stated that:

proc (x,y) ->
        if f x y
        then g -< x+1
        else h -< y+2

is translated to:

arr (\ (x,y) -> if f x y then Left x else Right y) >>>
        (arr (\x -> x+1) >>> f) ||| (arr (\y -> y+2) >>> g)

But this translation doesn't seem correct, because the arrows g and h are not being used as in the original code (h doesn't appear at all in the translation).

Trac metadata

Trac field	Value
Version	7.6.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	low
Resolution	Unresolved
Component	Documentation
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture