Cleaned up DISH header file