Mariamole compiles (fix commented missed code)