[ros-diffs] [hpoussin] 21827: Fix a broken cast (thanks w3seek)