Incorrect tip "Delete remote branch"

[henkworks]

git branch -dr <remote/branch>

This does not actually delete the branch on the remote as the other two commands this is listed as an alternative for do.