Removed \synopsis