Small fixes to 3.5 example.