fix bad interface file for RegexSpecInterface