Fix up synopsis