remove some traces and improve type errors