Fix duplicated IDs in HTML titles