a simple fix in document