Fix off-by-one error in getTopLevelHeaders. Fixes #47