Minor changes to redhawk.py.