Fix duplication accidentally introduced in commit fa43e1f378603f0435cc189a9d9e4d315e2acdbd. See gh-31928