Fix cut-and-paste mistake