Fix schoolboy error introduced in last commit