Bugfix: old exception syntax blew up Python 3.