header corrections. fixes #56