Remove extra bit in the docs