Small edit on roverAgent.clp