Work around a bug in ST3