fix minor typo in CHECK constraint