fix synopsis line; add cross reference