minor fixes per luke's feedback; global foreign imports are mutable