Fix cut-paste error