Fix doc due to GitHub changes (obviously)