Just style fix in rcfile.py