More detailed exception
Fixed new thm-demon