Minor title format edit from github UI.