correctness in regex