Fix one more copy-paste bug