Fix typo#2

temetski wants to merge 1 commit into

ethz-coss:mainethz-coss/ethz-coss.github.io:mainfrom

temetski:patch-1temetski/ethz-coss.github.io:patch-1Copy head branch name to clipboard