fixing sepol 3