Fix phpdoc block and code formatting. Fix reinit var $_exceptionCountAtFirstEncounter.