Re #9335. Fixed a bug in TimeSeriesProperty.