small bug fix in version config