fix for possible bug in radio button behaviour in add-ons options menu