Fixed JSON bug; it was encoding integers as strings.