Re: [PATCH 1/4] Parameters.py: Added ChoiceParam