Fix typos.
Only need to expose check level when building IMP.base.