Fix doc display at GitHub (#2467)

1 file changed