Fixes overflow problem in header

resolves #7