Fix wrong operator in dot prod. example