Question about failure result of get_target_property

Thanks for the confirmation. I went ahead and submitted a doc fix, which was approved and merged.