Work around some bugs