Make formatting nicer for type errors