Fixing a bit of bad copypasta.