For a robolectric bug...