Fix duplicate tag in documentation