Fix doc for issue 9