Fixed a bug in version compare.