Remove a needless line

For updating GitHub pages.