Hdmi_cec refresh interval

Right now hdmi_cec only refreshes every 30 seconds. I have automation to turn on my receiver and tune it to the correct source when the TV is powered on. However that means I have to wait up to 30 seconds after turning on the TV for this to happen.

I looked at /srv/homeassistant/lib/python3.4/site-packages/homeassistant/components/hdmi_cec.py and when calling into pycec with hdmi_network = HDMINetwork(adapter, loop=loop) I added the parameter scan_interval=5.

It still waits 30 seconds between scans, and I am not even sure I modified it at the correct place.

How can I get the update to this more frequently?