some more fixes in ROB
using eclipse formatting