Improved documentation of Exception