editfile: this uglier grammar raises better errors