Valve plugs a few holes.
A new update for the PC and Mac versions of Portal 2 is now live on Steam, offering a number of bug fixes.
The patch, which will be applied automatically when you restart your Steam client, smooths over a few glitches and makes a couple of minor gameplay tweaks.
Here’s the full list of changes: