Fix build break due to a bad copy-paste