Fix apparent copy-paste error.