make public fields for debugging