Copy-paste error in comments ...