Fix two more tiny typos. This is accepted by SIDMA\!