removes obsolete MiniJSON reference