Update dist/ files with bugfix for radio buttons