Fixes typo in Tycho version