fixing sepol 4