What happens if amendment votes end in a tie?