header updated, closes #9