Removed redundant header file