doc: Fixed what would be a potential bug in an example snippet