Tweak print string in synopsis.pl