This bug-fix release fixes certain problems with version information.