fix bug in version manager