minor fixes

nothing changed really