comment formatting fix from github ui