docs install.rst: fixed trivial overline issue