Widen version panel. Fixes #717