revision of chapter on regular expressions