Better handling of secnumdepths