fix boot.rst