Minor tweak to formatting of  versions in sidebar.