Fix syntax errors in MapLeak plugins (which are currently not in use)
Minor fixes following suggestions by the IDE.