Fixing typos resulting from copypasta