fix phpdoc in Exception