Small fixes to moveit_config