fix typo: if we';ve

remove stray semicolon