Fixed the return problem in the MuRascal.