Fix some version bugs