More tweaks to Python synhi.