a collection of minor improvements