Correct apparent copy/paste bug