Removed an accidental double-paste.