Correct release version number
Devel version number