Two small improvements to LiberateCase