Add link to Tycho and fix typo