fixing stupid internal version number synchronization.