Fixes (Konrad review #4); exceptions inherit