Tweaks for oversized thm #96