Update synopsis.txt