#1239: Renamed class.