Fix doc #16