Little typo fix

Github automatically add a `;` after `:`. This time, it's good ;)