Since there already is an example for this case, you could just add a comment to it.