Fix positional error mentioned in #19#20

WizardOfMenlo wants to merge 1 commit intoedwinb:masteredwinb/idris2-vim:masterfrom

WizardOfMenlo:masterWizardOfMenlo/idris2-vim:masterCopy head branch name to clipboard