More fix to the docs