fixing a minor bug in Version#>=.