frontend: fix glitch with version selector.