Fixed erroneously pasted lines