bugfix in exception tracking