Minor change to Python's synhi.