fix typehint for headers