Fix my bad pasting