Minor document update