Doc fixes for synthesis name change