Fix exception names in phpdoc