fix PREFAST warning in distribution.cpp; reduce private memory usage of this class #3590