Corrected yet another glitch in mfile-release