fix a mistyped label that caused a stray reference
Richard, you may want to regenerate the PDF
as I get
! LaTeX Error: File `stmaryrd.sty' not found.
with my setup and do not want to mess things up.
Also for me ?? appear twice on top of the page 13
and I have tp 'rm core-spec.pdf; make' to get it