tighten up types, failing only 6 checks