Small synta fixes to part6