Fix doc issue 7