Fixed another bug in pretty-exception.