All these could be final (except `header`)?