Fix doc problem