Random small updates

This is a collection of random small updates that I did while working on things.