Correction to: Filtering Techniques for Regular Expression Matching in Strings