Did this change *really* get introduced in 9.3.3, not 9.3.0?