fix DVERSION in RELEASE doc