Fix some Github formatting issues.