Make ParametricOperator.getDescription() final