Minor fix to rhcs_ci.py