This moveit-specific comment slipped by.