Fix silly initialisation in the header.