typed-doppio found some more bugs