some more minor mathlib fixes