Remove now-unused include