Fix the name in the comment of the theme