Changing title of documentation html