doc: fixed the Synopsis a bit.