fix typos in synopsis.js