fixing up sepol