Use VARIETY=cool to get more checking.
Update comment to match design.