Fixed small bug with numbering of headers in article