minor changes
finish post on JavaScript function synthesis