doc: the cast is not shown in the example androbably