Got rid of 'pos' in JSON representations