Removed some useless lines: cosmetic change