Fixed a syntax error; Added synthesize autocompletions.