remove duplicate header inclusion
push
Merge pull request #563 from BenjaminW3/issue4

remove duplicate header inclusion