tighten code according to tag invariant
1 file changed