Correcting JSON export in csps-export