MOODLE2: Repaired a bug in marsupial introduced in the last commit
MOODLE2: Repaired a double dollar error in Marsupial