Fix minor error in naive linearization eigenvalues.
Finalize rolling disk example for electronic supplementary material.