collection of small improvements

nothing major nor, I hope, controversial