Fix typo in link to mimosa.