The option for numbered headers did not work anymore