Fix doc titles to be shorter