that's right, if you actually click "logout" instead of just closing your browser, then you session will be destroyed. It is slightly more secure, though we should be protected against collisions now.