clean up version and verDB.
adding doctest.