Elimination of an unnecessary flag.