bugfix: exception type