spurious includes in exp2 covers