Static top header, fixes #16