fix more type effectiveness bugs