small deletion of redundant code