Don't need redundant header file