Fix for mango-json change