Increase version number and (finally) fix in MRI