Little fix in the documentation