synthesizer.md: fix the synthesizer documentation