Fixed a bug in Version