update header, fixes #41