Fix omission inequality pointed out by Wei Xu

See http://stacks.math.columbia.edu/tag/00IG#comment-786