Fix typo in Scalatron-link.