fix some misprints, add a xref