fixed small bug with pickling Constants