fix coincidentally harmless copy-pasta