Fixing summary inf case