Removed redundant code in Red