Update comments to note implementation assumption