Can we comment why we single out this InternalBufferOverflowException as opposed to any exception?