Fix exercise number in PDF as well