Some redundant lines deleted