Added tasty-smallcheck.