Avoid being pedantic in toJSON()