button.pick(index); actually modifies choice of radio button input element on the given index