Copy-paste bug in 8cd6cf53.