Fix duplicated IDs in HTML titles (little bug fix)