Fix label IDs in the HTML