Docs; fixing small problem