Even more tweaks to Python synhi.