Fixed typo in 3-checker