Correct a noticed "copy-paste" error