ex4 fix post-appeal