Fix copy-and-paste bug